extension | φ:Q→Out N | d | ρ | Label | ID |
C3:S3.1(C22:C4) = C2.AΓL1(F9) | φ: C22:C4/C2 → D4 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.1(C2^2:C4) | 288,841 |
C3:S3.2(C22:C4) = PSU3(F2):C4 | φ: C22:C4/C2 → D4 ⊆ Out C3:S3 | 36 | 8 | C3:S3.2(C2^2:C4) | 288,842 |
C3:S3.3(C22:C4) = C22:F9 | φ: C22:C4/C22 → C4 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.3(C2^2:C4) | 288,867 |
C3:S3.4(C22:C4) = C62.D4 | φ: C22:C4/C22 → C22 ⊆ Out C3:S3 | 48 | | C3:S3.4(C2^2:C4) | 288,385 |
C3:S3.5(C22:C4) = C62.Q8 | φ: C22:C4/C22 → C22 ⊆ Out C3:S3 | 48 | | C3:S3.5(C2^2:C4) | 288,395 |
C3:S3.6(C22:C4) = (C6xC12):2C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out C3:S3 | 48 | | C3:S3.6(C2^2:C4) | 288,429 |